логический элемент эквивалентности

См. также в других словарях:

• Логические элементы — Логические элементы  устройства, предназначенные для обработки информации в цифровой форме (последовательности сигналов высокого  «1» и низкого  «0» уровней в двоичной логике, последовательность «0», «1» и «2» в троичной логике,… …   Википедия

• МИФ — (греч. слово, речь, предание) язык описания, оказавшийся, благодаря своей исконной символичности, удобным для выражения вечных моделей личного и общественного поведения, неких сущностных законов социального и природного космоса. М. является… …   Современный философский словарь

• Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики)  семейство языков представления знаний …   Википедия

• Универсальная алгебра — Не следует путать с универсальной алгеброй  одним из видов структур, изучаемых данным разделом математики. Универсальная алгебра  раздел математики, изучающий общие свойства алгебраических систем, отыскивая общие черты между такими… …   Википедия

• ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

• АЛГОРИТМ —         [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …   Философская энциклопедия

• Лемма Куратовского — Цорна — Лемма Цорна (англ. Zorn s lemma), также известная как лемма Куратовского Цорна (англ. Kuratowski – Zorn lemma), утверждает: Частично упорядоченное множество, в котором любая цепь имеет верхную грань, содержит максимальный элемент. Лемма носит… …   Википедия

• Лемма Куратовского — Лемма Цорна (англ. Zorn s lemma), также известная как лемма Куратовского Цорна (англ. Kuratowski – Zorn lemma), утверждает: Частично упорядоченное множество, в котором любая цепь имеет верхнюю грань, содержит максимальный элемент. Лемма …   Википедия

• Сравнение (программирование) — У этого термина существуют и другие значения, см. Сравнение. Сравнение в программировании  общее название ряда операций над парами значений одного типа, реализующих математические отношения равенства и порядка. В языках высокого уровня такие …   Википедия

• ПРИНЦИП АБСТРАКЦИИ — логический (теоретико множественный) принцип, лежащий в основе определений через абстракцию. Согласно П. а., любое отношение типа равенства, определенное на нек ром множестве объектов, может служить для распределения (разбиения) объектов этого… …   Философская энциклопедия